"Pierre-Louis Curien" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigne, David E. Rydeheard

Категория: Компьютеры

17.48 Mb

#2

Domains and Lambda-calculi

Roberto M. Amadio, Pierre-Louis Curien

Категория: Computer science

3.73 Mb

#3

Category Theory and Computer Science, 4 conf

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigne, David E. Rydeheard

Категория: Cs_Computer science, CsLn_Lecture notes

2.68 Mb

#4

Typed Lambda Calculi and Applications: 9 conf., TLCA 2009

Pierre-Louis Curien

Категория: Cs_Computer science, CsLn_Lecture notes

5.37 Mb